Feeds to Scour
SubscribedAll
Scoured 19404 posts in 480.5 ms
Part 1 the Persistent Vault Issue: Your Encryption Strategy Has a Shelf Life
news.ycombinator.com·2h·
Discuss: Hacker News
🔐Archive Encryption
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·2d
🧠Separation Logic
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·9h
💨Cache Analysis
I built a cryptographic memory layer for humans in Python tags: python, opensource, security, blockchain
dev.to·8h·
Discuss: DEV
🌳Archive Merkle Trees
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·21h
🔗Concatenative Programming
MS-DOS game copy protection and cracks
dosdays.co.uk·13h·
Discuss: Hacker News
🕹️Game Preservation
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·8h·
Discuss: Hacker News
✨Effect Handlers
QNAP Unifies Backup and Object Storage with myQNAPcloud One
storagereview.com·11h
🕸️Mesh Archiving
When Clever Hardware Hacks Bite Back: A Password Keeper Device Autopsy
hackaday.com·7h
🔓Hacking
Private Data Space Model
privatedata.space·3d
✅Format Verification
philipl/pifs: πfs - the data-free filesystem!
github.com·15h·
Discuss: Hacker News
🌐IPFS
Full Disclosure: Asterisk Security Release 22.8.2
seclists.org·3h
🔤EBCDIC Privacy
Rsync is better than every backup GUI I've tried
xda-developers.com·13h
📊Differential Backup
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·2h·
Discuss: r/node, r/reactjs
🦀Rust Macros
Live System Analysis: Mitigating Interference from Antivirus Tools
blog.elcomsoft.com·1d
🔍NTLM Forensics
Same Surface, Different Weight
robpanico.com·16h·
Discuss: Hacker News
🎯Gradual Typing
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Explainer: XPC
eclecticlight.co·23h
🔐CBOR
Next Generation DB Ingestion at Pinterest
medium.com·2d
🗄️Database Sharding

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help